Structural vs. Mathematical “Under” (2023)
dyalog.com·1d·
Discuss: Lobsters, Hacker News, r/programming
⚔️Lean Theorem
Interesting Technique to Launch a Shellcode, (Wed, Aug 27th)
isc.sans.edu·4h
🛡️CLI Security
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
On systematic construction of correct logic programs
arxiv.org·1d
⚖️Hoare Logic
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·16h·
Discuss: Hacker News
🦀Rust Macros
Binary Exploitation 101 - Introduction
r1ru.github.io·19h
📼Cassette Hacking
Dependent types I › Universes, or types of types
jonmsterling.com·3h·
Discuss: Hacker News
🔤Type Theory
8 Tool Tech Stack to Build an Enterprise-Grade RAG System (Without the Headaches)
dev.to·1h·
Discuss: DEV
🌀Brotli Internals
The TTY Demystified
linusakesson.net·23h·
Discuss: Hacker News, r/programming
📟Terminals
Implementing Forth in Go and C
eli.thegreenplace.net·6h·
Discuss: Hacker News
🔗Concatenative Programming
StrongBox: Simple, Safe Data Encryption for Rust
hezmatt.org·9h
🦀Embedded Rust
Reversing a (not-so-) Simple Rust Loader | cxiao.net
cxiao.net·20h
🦀Rust Macros
Thoughts on systems thinking and production excellence from Release It
stevenoxley.com·19h·
Discuss: Hacker News
🛡️Error Boundaries
When functions dissolve
rubber-duck-typing.com·2d·
Discuss: Hacker News
🐚Shell Combinators
The Emacs thread-related code needs a maintainer
lists.gnu.org·1h·
Discuss: Hacker News
🦀Rust Macros
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·19h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Alpay Algebra: Solving the "Unsolvable" or Just Changing the Rules?
lightcapai.medium.com·8h·
Discuss: Hacker News
👑Isabelle
Gunnar Wolf: The comedy of computation, or, how I learned to stop worrying and love obsolescence
gwolf.org·1d
🧲Magnetic Philosophy
Over-Engineering Sleep
matt.blwt.io·2d
🐚Bash FP
Understanding Tool-Integrated Reasoning
arxiv.org·6h
🔗Constraint Handling